Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

Source URL: www.cs.rhul.ac.uk

Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies Charlie Brej School of Computer Science, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK Email: Abstr

Source URL: apt.cs.manchester.ac.uk

Random planar curves Schramm-Loewner Evolution and Conformal Field Theory John Cardy University of Oxford

Source URL: www.wimcs.ac.uk

    Thursday at PVSC42 began on a high note with the Young Professional Award being presented Prof Henry Snaith of the University of Oxford, beating out some strong competition Prof

Source URL: www.ieee-pvsc.org

The University of Oxford places a high value on the knowledge, expertise, and integrity of its members and their ability to conduct research to high standards of scholarship and ethics. The research ethics clearance proc

Source URL: www.tropicalmedicine.ox.ac.uk

PUBLIC CHOICE AND ALTRUISM Karl Widerquist Oxford University “If I knew for a certainty that a man was coming to my house with the conscious design of doing me good, I should run for my life ... for fear that I should

Source URL: www.widerquist.com

Understanding image representations by measuring their equivariance and equivalence Karel Lenc1 , Andrea Vedaldi1 of Engineering Science, Oxford University. [1] G. Csurka, C. R. Dance, L. Dan, J. Willamowski, and C. Bray

Source URL: www.cv-foundation.org

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk

Object Seeing and Spatial Perception Forthcoming in Phenomenal Presence, edited by Fabian Dorsch, Fiona Macpherson & Martine Nida-Rümelin, Oxford University Press.* Craig French University of Cambridge

Source URL: dl.dropboxusercontent.com

∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD

Source URL: www2013.wwwconference.org

• Computing
• Information science
• Data management
• World Wide Web
• Semantic Web
• Query languages
• Knowledge representation
• Functional languages
• XPath
• Web scraping
• XQuery
• Resource Description Framework